Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf''s Constructive Type Theory by interpreting games as types of Myself''s winning strategies. The philosophical ideas behind Game-Theoretical Semantics in fact highly recommend restricting strategies to effective ones, which is the only controversial step in our interpretation. What is gained, then, is a direct connection between linguistic semantics and computer programming.

The eight pieces constituting this Meeting Report are summaries of presentations made during a panel session at the 2011 Association for Practical and Professional Ethics (APPE) annual meeting held between March 3rd and 6th in Cincinnati. Lisa Newton organized the session and served as chair. The panel of eight consisted both of pioneers in the field and more recent arrivals. It covered a range of topics from how the field has developed to where it should be going, from identification of (...) issues needing further study to problems of training the next generation of engineers and engineering-ethics scholars. (shrink)

This practical and essential text, co-authored by an engineer and an ethicist, covers ethical dilemmas that any engineer might encounter on the job, emphasizing the responsibility of a practicing engineer to act in an ethical manner. To illustrate the complexities involved, the authors present characters who encounter situations that test the engineering code of ethics. The dialogue between the characters highlights different perspectives of each dilemma. As they proceed through the book, students see how the code of ethics can help (...) in decision making, as well as the implications of various decisions. The philosophical theory that supports the ethical situations encountered is presented as boxed material following each section. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version. (shrink)

In this paper, we shall present a generalization of phrase structure grammar, in which all functional categories have type restrictions, that is, their argument types are specific domains. In ordinary phrase structure grammar, there is just one universal domain of individuals. The grammar does not make a distinction between verbs and adjectives in terms of domains of applicability. Consequently, it fails to distinguish between sentences like every line intersects every line, which is well typed, and every line intersects every point, (...) which is ill typed.Our generalization relates to ordinary phrase structure grammar in the same way as the higherlevel constructive type theory of Martin-Löf relates to the simple type theory of Church . Simple type theory has been used in linguistics and related with phrase structure grammar, especially in the tradition based on the work of Montague .Our definition of the grammar will be more formal than Montague's in the sense that we shall use a formal metalanguage, that of constructive type theory, for defining both the object language and its interpretation. The grammar, both syntax and semantics, is thus readily implementable in the type-theoretical proof system ALF . Inside type theory, a distinction can be made between the object language and the model, in other words, between syntactic and semantic types. It will turn out that the object language cannot be defined independently of the model, as in ordinary Tarski semantics. This is a direct consequence of introducing the typing restrictions.The grammar presented here can be seen as a formal linguistic elaboration of the work presented in Ranta 1991 and 1994. The organization of generative grammar as categorial grammar followed by sugaring should now look more familiar to the linguist, as the grammatical formalism on which sugaring operates is no longer full type theory but a set of phrase structure trees. (shrink)

The early Pleistocene hunt scene was instant: when an antelope jerked in the water edge, the first “drivers” of the hunt were already in motion; the moment of outburst after a long ambush lasted less than second. The sudden hunt movements were typical of every prey-abundant landscape since even earlier geological periods. The analysis of Laetoli footprints made by our evolutionary ancestors more than three millions years ago indicates that in a randomly chosen moment, the landscape was full of animals (...) of different species. The language used in the attack moment has to be agitative, only vowels in clausure between two consonants. During the process of further development, those consonants became more and more similar to delimitators, the borders where intrasemiotic realities translate extrasemiotic environment. Speech is an old Paleolithic tool for directing hunters to the useful positions. It was rather an instrument of a leader than grooming “clicks” of kin’s females. (shrink)

So why be a good engineer? There are basically three reasons: 1) possible detection and the harm that dishonorable acts might cause, 2) a common responsibility to the professional engineering community, and 3) a negative impact on one’s own integrity when one behaves badly. But what if, in the face of these arguments, one is still not convinced? I must admit that there appears to be no knock-down ethical argument available to change the mind of a person set on behaving (...) badly. There remains the option to act in whatever way one may wish. Engineers must realize however that bad manners and/or immorality and/or illegality, even if undetected, will most likely result in harm to themselves and thus rational behavior should result in honorable conduct of professional duties. While the Viking society of northern Europe was in many ways cruel and crude, they had a very simple code of honor. Their goal was to live life so that when they died, others would say He was a good man . The definition of what they meant by a good man might be quite different by contemporary standards but the principle is important. If engineers conduct their professional lives so as to uphold the exemplary values of engineering, the greatest professional honor would be to be remembered as a good engineer. (shrink)

We propose a shift in perspective from the view of natural languages as formal languages to natural languages as a collection of resources for constructing local languages for use in particular situations. This is suggested by our experience constructing natural language grammars for particular applications using the Grammatical Framework. It points to a research programme investigating how such resources play a role in linguistic innovation by agents constructing situation-specific local languages and how they can be made dynamic, modified by the (...) linguistic agent’s exposure to innovative linguistic data. (shrink)

In the article, I discuss some ideas of the type theoretical grammar of Aarne Ranta and the analysis of the problem of Quine (Ralph and Ortcutt), which Oleg Domanov implemented by means of this theory. There are more similarities than differences in TT grammar with well-known ideas, including “fine grinding” of meanings, counterparts, procedural understanding of – intensions. The main problem, which, in my opinion, exists in the TT grammar, consists in understanding how another agent’s epistemic attitudes can be (...) justified for me. Ranta proceeds from the metaphor of the agent as a calculator, which for the general case is unacceptable. I believe that the interpretation of the epistemic attitudes of another agent must be externalistic, that is, referring not to the agent’s worlds, but to his actions in the actual world: “agent X believes that A” is true when the interpreter sees the behavior of the agent in situations that the interpreter would consider adequate for himself if he believed A and would be “in place” of X. To formalize here, it would take complicated tools which are used for describing actions. I’ve come to the conclusion that an understanding of the type in TT grammar makes it intensional in some extended sense, since the working with the naming relation is already an element of a specific pragmatics. (shrink)

Interpretation of Hetvābhāsasāmānyanirukti of Gaṅgeśa, 13th cent., treatise on Nyaya philosophy; based on other classical commentaries.

Metaphysik i 100 [reproduction of Norwegian symbol for paragraphs], av J. S. Welhaven.--Innholdsgjennomgåelse, av E. A. Wyller.--Welhaven og filosofien, av A. H. Winsnes.--Welhavens estetikk, av A. Aarnes.--Welhaven-litteratur (p. 175-[176]).

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

ch. 1. Istorii︠a︡ sot︠s︡iologicheskikh ucheniĭ -- ch. 2. Nauchnai︠a︡ teorii︠a︡ obshchestva.

This paper brings together the work of Nicholas Wolterstorff and William Alston in speech-act theory with the aim of providing a deeper understanding of the nature of divine speaking through the medium of Scripture. Despite the fecundity of Wolterstorff's seminal work on the philosophical theology of Scripture, aspects of his speech-act centric account are underdeveloped and would benefit from the contributions of William Alston. In particular, his account of divine speech-acts could be fruitfully expanded by incorporating the concept of ‘taking (...) responsibility’ that is central to Alston's analysis of the nature of illocutionary acts. This would elucidate both the way in which readers of Scripture encounter divine practical authority in the reading process and the nature of the response of faith that is demanded of them. (shrink)

Several recent papers dealing with Plato's position on the imperfection of the phenomenal world draw heavily on the differences between two kinds of predicates in order to show the following: In the middle dialogues, Plato posits Forms only as referents of what the writers call incomplete predicates. He does not posit Forms as referents for complete predicates. When interpreters ignore the differences between these kinds of predicates, they ascribe too radical a view regarding the imperfection of the phenomenal world to (...) the middle dialogues. The ontology of these dialogues includes sensible particulars which retain their identity over time even though they are continually changing in some respect or other. (shrink)

While Weber’s distinction between ‘ideal’ and ‘material’ interests is one of the most enduring aspects of his theoretical legacy, it has been subjected to little critical commentary. In this article, we revisit the theoretical legacy of interest-based explanation in social theory, with an eye to clarifying Weber’s place in this tradition. We then reconsider extant critical commentary on the ideal/material interest distinction, noting the primarily Parsonian rendering of Weber and the unproductive allegiance to ‘generic need’ readings of Weber’s action theory. (...) We reconstruct the basis of the ideal/material interest distinction in the work of Rudolph von Ihering and provide a sounder basis for its analytic role in Weber’s ‘grand’ project. (shrink)

A brief presentation of the major conclusions contained in the recently published monograph entitled "The Ascent to Law: Searches and Solutions," written over a period of many years. Chapter headings are: The law - an objective reality. The dogma of the law. The drama of scholarship. Searching. "The entire" substance of the law. Juridical constructs. The logic of laws. The secret of the law. Law - the highest purpose. Law in the life and fate of mankind.

Papers delivered at the joint meeting of the Hegel Society of America and the Hegel Society of Great Britain held at Merton College, Oxford, Sept. 1-4, 1981, to mark the 150th anniversary of Hegel's death. Includes bibliographical references and index.

The purpose of the present study was to address the shortcomings of Cronbach’s alpha concerning the semantic overlap between items. Using an example from a motivational measure, the correction of Cronbach’s alpha was applied by partialing out the effects due to conceptual overlap. The significance of Cronbach’s alpha was tested using simulated random data derived from the measure and by estimating the confidence intervals with known and unknown distributions. The results indicated that the uncorrected conceptual overlap coefficient alpha was equal (...) to 0.89 and 0.66 following the correction. After simulating the corrected statistical results, the distribution of alpha with random numbers had an estimate of 95%, equal to 0.41. The lower bound of the corrected alpha distribution was equal to 0.41, suggesting that the corrected alpha could easily belong to the distribution of alpha developed from simulated random numbers. Thus, the semantic overlap between items on a measure represents a significant threat to the validity of the alpha coefficient. (shrink)

This paper aims to introduce a robust framework for forecasting demand, including data preprocessing, data transformation and standardization, feature selection, cross-validation, and regression ensemble framework. Bagging ), boosting and extreme gradient boosting regression ), and stacking are employed as ensemble models. Different machine learning approaches, including support vector regression, extreme learning machine, and multilayer perceptron neural network, are adopted as reference models. In order to maximize the determination coefficient value and reduce the root mean square error, hyperparameters are set using (...) the grid search method. Using a steel industry dataset, all tests are carried out under identical experimental conditions. In this context, STACK1 and STACK2 models provided better performance than other models. The highest accuracies of R2 of 0.97 and 0.97 are obtained using STACK1 and STACK2, respectively. Moreover, the rank according to performances is STACK1, STACK2, XGBR, GBR, RFR, MLP, ELM, and SVR. As it improves the performance of models and reduces the risk of decision-making, the ensemble method can be used to forecast the demand in a steel industry one month ahead. (shrink)

Collingwood’s “Libellus de Generatione: An Essay in Absolute Empiricism” was a tract of strenuous philosophical revisionism; never published, perhaps unpublishable, supposedly destroyed, it survived. He begins by stressing his obligations to David Hume; he offers his thematic: “absolute denial of any such concept as substance and the resolution of all reality into the reality of experience.” “The reality of mind is the process of its experience, its life, and nothing else”. Or, “the mind is a mirror... whose being is solely (...) the activity of reflecting”; it has no “substance of its own of which this activity is only a reflection”. Collingwood’s entire career as student and teacher... (shrink)

Environmentalist philosophers often paint a holistic picture, stressing such things as the continuity of humanity with wider nature and our membership of the 'natural community' . The implication seems to be that a non-anthropocentric philosophy requires that we strongly identify ourselves with nature and therefore that we downplay any human/non-human distinction. An alternative view, I think more interesting and plausible, stresses the distinction between humanity and a nature valued precisely for its otherness. In this article I discuss some of its (...) main elements, and some of the difficulties involved with keeping nature's otherness in focus. Firstly (in sections 1-5), I try to clarify what I take to be the otherness-based position by distinguishing it from the apparently similar views of John Passmore, Robert Elliott and Keekok Lee, and some opposed holistic views, especially of J. Baird Callicott. Then, in the second half of the article (sections 6-7), I argue that if nature is valued in virtue of its otherness, this value is best thought of as an extrinsic, final and objective good, where 'objectivity' is a 'method of understanding', in Thomas Nagel's sense. Although I give some reasons for preferring an otherness account to certain alternative positions, I make no overall attempt to 'prove' that nature is valuable for its otherness. My aim is to show that, if it is, then this seems the best way to understand that value. (shrink)

Developing an intellectualist account of skill, Stanley and Williamson define skill as a kind of disposition to action-guiding knowledge. The present paper challenges their definition of skill. While we don’t dispute that skill may consist of a cognitive, a dispositional, and an action-guiding component, we argue that Stanley and Williamson’s account of each component is problematic. In the first section, we argue, against Stanley and Williamson, that the cognitive component of skill is not a case of propositional knowledge-wh, which is (...) typically indexical. In the second section, we seek to show that Stanley and Williamson face difficulties in arguing for a generic claim about skill as a kind of disposition, and they fail to defend intellectualism about skill based on the dispositional account. In the third section we argue that Stanley and Williamson need a more detailed account of the action-guiding aspect of skill to avoid several difficulties, including a threat of a regress. We close with some lessons for the debate over intellectualism and anti-intellectualism about skill. (shrink)

Hegel’s idealism is generally perceived as a system of rational sublation (Aufhebung) of all empirical contingencies: nothing resists notional mediation which, in a movement of negation of negation, establishes a rational totality. Already Schelling opposed to this complete sublation an “indivisible remainder” of empirical contingency. However, a close reading of Hegel makes it clear that the concluding moment of a dialectical movement of sublation is an empirical remainder which totalizes it, like the body of Christ in Christianity. And the same (...) goes for the process of “negation of negation”: it concludes with a failure of negation, and its ultimate form is a failed suicide where the subject survives as a living dead. Such a reading of Hegel makes him a thinker of our time which is the time of a failed negation: most of us live as survivors of our death, with life dragging on in depressive apathy. (shrink)